On a Particular Condition for Regular Coequality Relations
نویسنده
چکیده
Setting of this research is Bishop’s constructive mathematics, the mathematics developed on Intuitionistic logic. If (X, =, 6=, θ) is an anti-ordered set, for a coequality q on X we say that it is strongly regular if it is regular and θ ◦ q ⊆ q ◦ θ holds. In this case, θ ◦ q is a quasi-antiorder relation on X such that the relation Θ = π ◦ θ ◦ π−1 on X/q is the maximal anti-order on X/q.
منابع مشابه
The Lattice of Regular Coequalities
For a coequality q we say that it is regular coequality on set X ordered under the antiorder ̨ if there exists an anti-order on X=q such that the natural mapping W X ! X=q is a reverse isotone surjection of anti-ordered sets. The lattice of regular coequalities is described. 2000 Mathematics Subject Classification: 03F65, 06F05
متن کاملSome Relations and Subsets Generated by Principal Consistent Subset of Semigroup with Apartness
The investigation is in the Constructive algebra in the sense of E. Bishop, F. Richman, W. Ruitenburg, D. van Dalen and A. S. Troelstra. Algebraic structures with apartness the first were defined and studied by A. Heyting. After that, some authors studied algebraic structures in constructive mathematics as for example: D. van Dalen, E. Bishop, P. T. Johnstone, A. Heyting, R. Mines, J. C. Mulvey...
متن کاملAn investigation on regular relations of universal hyperalgebras
In this paper, by considering the notion of $Sigma$-hyperalgebras for an arbitrary signature $Sigma$, we study the notions of regular and strongly regular relations on a $Sigma$-hyperalgebra, $mathfrak{A}$. We show that each regular relation which contains a strongly regular relation is a strongly regular relation. Then we concentrate on the connection between the fundamental relation of $mathf...
متن کاملCo-ideals and Co-filters in Ordered Set under Co-quasiorder
In this paper, basing our consideration on the sets with the apartness relation, we analyze characteristics of some special relations to these sets such as co-order and co-quasiorder and coequality relations. In addition, we analyze two special classes of subsets, co-filters and co-ideals, of ordered set under a co-quasiorder relation. This investigation is into the Bishop’s Constructive mathem...
متن کاملOn the Graphs Related to Green Relations of Finite Semigroups
In this paper we develop an analog of the notion of the con- jugacy graph of nite groups for the nite semigroups by considering the Green relations of a nite semigroup. More precisely, by de ning the new graphs $Gamma_{L}(S)$, $Gamma_{H}(S)$, $Gamma_{J}(S)$ and $Gamma_{D}(S)$ (we name them the Green graphs) related to the Green relations L R J H and D of a nite semigroup S , we first atte...
متن کامل